%3
low-priority
low-priority
high-priority
high-priority
low-priority->high-priority
wait-time exceeded
s4
s4
low-priority->s4
s5
s5
low-priority->s5
high-priority->s4
high-priority->s5
s1
s1
s1->low-priority
s2
s2
s2->low-priority
s3
s3
s3->low-priority